翻訳と辞書
Words near each other
・ mops
・ moral
・ moria
・ morphing
・ morse code
・ mortran
・ mos
・ mos technologies
・ mosaic
・ mosaic communications corporation
moscow ml
・ mosfet
・ mosiac
・ most general unifier
・ most significant bit
・ motd
・ mother
・ motherboard
・ motif
・ motion jpeg


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

moscow ml : FOLDOC
Moscow ML
A light-weight implementation of Standard ML written by Sergei Romanenko of the Keldysh Institute of Applied Mathematics with assistance from Peter Sestoft , Royal Veterinary and Agricultural University. Moscow ML is based on CAML Light.
Version: 1.20 implements the Standard ML Core language.
The sublanguage of Modules implemented by Moscow ML contains signatures and non-nested structures, and identifies structures with source files. It is certainly less expressive than the full Standard ML Modules language, but the {type-safe} separate compilation facility is simple, useful, and easy to use. It is the intention to implement the full Standard ML Modules language (including functors) in due course.
Compilation of a signature produces a compiled interface file, which is used when compiling other signatures and structures.
Compilation of a structure produces a byte-code file. Bytecode files are compact a


スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.